package tr.edu.ege.kipler.satisfiability.container.operational;

import tr.edu.ege.kipler.satisfiability.UnsatisfiableException;
import tr.edu.ege.kipler.satisfiability.container.FormulaBase;
import tr.edu.ege.kipler.satisfiability.container.Individual;
import tr.edu.ege.kipler.syntax.atomicformula.Formula;

/**
 * 
 * @author İnanç Seylan
 *
 */
public interface ABoxChangeObserver {

	public void afterFormulaIsAdded(FormulaBase fBase, Formula formula)
			throws UnsatisfiableException;

	public void afterNodeIsRemoved(FormulaBase fBase, Individual indv);
}
